Recursive type

타입 이론에서 자기 스스로를 지칭하여 정의된 타입을 귀납 타입이라고 한다.